Experimental high-level language for distributed computing, focus: typing, naming, version change; designed, formally specified, implemented; extends OCaml core to support distributed development, deployment, execution, type-safe interaction between s...

Supports time-sensitive programs needing consistent Quality of Service (QoS), e.g., multimedia; fine-grained guaranteed levels of all system resources: CPU, memory, bandwidth of network, disk. Archive site, Systems Research Group: Networks and Operati...

Webpage of John Daugman, Cambridge University (UK) teacher and researcher in computer vision, neuroscience, and pattern recognition; inventor of iris recognition.

Computer Science research student, Cambridge University. Author of many publications on security, English and German.

Information for New Ada95 Programmers.

University of Cambridge - Self-timed circuits, multithreaded processor design, real-time systems and the engineering of complex systems.

University of Cambridge - Semantics and compilation of programs, static analysis of programs.

University of Cambridge - Interactive theorem proving and its applications.

University of Cambridge - Applications of mathematical logic and category theory to computer science, semantics of programming languages and type theories, formal logics for reasoning about program properties.

University of Cambridge - Programming language design and implementation, typeless languages, optimizing compilers, efficient interpreters, just-in-time compilation.